#include <stdio.h>

int main() {
    // int n = 0;
    // int k = 0;
    // int count = 0;
    // scanf("%d %d",&n,&k);
    // for(int i = 1;i <= n; i++)
    // {
    //     for(int j = 1; j <= n; j++)
    //     {
    //         int ret = 0;
    //         ret = i % j;
    //         if(ret >= j)
    //         count++;
    //     }
    // }
    // printf("%d",count);
    // return 0;

    long n = 0, k = 0;
    while (~scanf("%ld %ld", &n, &k))
    {
        if (k == 0)
        {
            printf("%ld\n", n * n);
            continue;
        }
        long count = 0;
        for (long y = k + 1; y <= n; y++)
        {
            long ret = n % y < k ? 0 : n % y - (k - 1);
            count += (y - k) * (n / y) + (ret);
        }
        printf("%ld\n", count);
    }
    return 0;
}